大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IFIP Working Conference on Machine Oriented Higher Level Languages 的图书(共7197本)

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

0
索取号：
作者：Grumberg、 Orna.、Huth、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Automated Reasoning [electronic resource] : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

0
索取号：
作者：Armando、 Alessandro.、Baumgartner、 Peter.、Dowek、 Gilles.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Theorem Proving in Higher Order Logics [electronic resource] : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

0
索取号：
作者：Mohamed、 Otmane Ait.、Mu帽oz、 C茅sar.、Tahar、 Sofi猫ne.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Geometry Revealed [electronic resource] : A Jacob's Ladder to Modern Higher Geometry

0
索取号：
作者：Berger、 Marcel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Adaptive Hypermedia and Adaptive Web-Based Systems [electronic resource] : 5th International Conference, AH 2008, Hannover, Germany, July 29 - August 1, 2008. Proceedings

0
索取号：
作者：Nejdl、 Wolfgang.、Kay、 Judy.、Pu、 Pearl.、Herder、 Eelco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Advances in Data Analysis [electronic resource] : Proceedings of the 30th Annual Conference of the Gesellschaft f眉r Klassifikation e.V., Freie Universit盲t Berlin, March 8鈥ᰬ 2006

0
索取号：
作者：Decker、 Reinhold.、Lenz、 Hans -J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Agent-Oriented Software Engineering VII [electronic resource] : 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

0
索取号：
作者：Padgham、 Lin.、Zambonelli、 Franco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Numerical Methods and Applications [electronic resource] : 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006. Revised Papers

0
索取号：
作者：Boyanov、 Todor.、Dimova、 Stefka.、Georgiev、 Krassimir.、Nikolov、 Geno.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Computational Linguistics and Intelligent Text Processing [electronic resource] : 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007. Proceedings

0
索取号：
作者：Gelbukh、 Alexander.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Theory of Cryptography [electronic resource] : 4th Theory of Cryptography Conference, TCC 2007, Amsterdam, The Netherlands, February 21-24, 2007. Proceedings

0
索取号：
作者：Vadhan、 Salil P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Evolutionary Multi-Criterion Optimization [electronic resource] : 4th International Conference, EMO 2007, Matsushima, Japan, March 5-8, 2007. Proceedings

0
索取号：
作者：Obayashi、 Shigeru.、Deb、 Kalyanmoy.、Poloni、 Carlo.、Hiroyasu、 Tomoyuki.、Murata、 Tadahiko.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Formal Concept Analysis [electronic resource] : 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings

0
索取号：
作者：Kuznetsov、 Sergei O.、Schmidt、 Stefan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Hardware and Software, Verification and Testing [electronic resource] : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

0
索取号：
作者：Bin、 Eyal.、Ziv、 Avi.、Ur、 Shmuel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Perspectives of Systems Informatics [electronic resource] : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers

0
索取号：
作者：Virbitskaite、 Irina.、Voronkov、 Andrei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Scaling Topic Maps [electronic resource] : Third International Conference on Topic Maps Research and Applications, TMRA 2007 Leipzig, Germany, October 11-12, 2007 Revised Selected Papers

0
索取号：
作者：Maicher、 Lutz.、Garshol、 Lars Marius.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Verbal and Nonverbal Features of Human-Human and Human-Machine Interaction [electronic resource] : COST Action 2102 International Conference, Patras, Greece, October 29-31, 2007. Revised Papers

0
索取号：
作者：Esposito、 Anna.、Bourbakis、 Nikolaos G.、Avouris、 Nikolaos.、Hatzilygeroudis、 Ioannis.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.